Floating-point versus Symbolic Computations in theQD-algorithm

نویسنده

  • Annie A. M. Cuyt
چکیده

The convergence of columns in the univariate qd-algorithm to reciprocals of polar singularities of meromorphic functions has often proved to be very useful. Any q-column corresponding to a “simple pole of isolated modulus” converges to the reciprocal of the corresponding pole. By performing an equivalence transformation of the underlying corresponding continued fraction and programming the new qd-like scheme so as to compute algebraic expressions, the difference in convergence behaviour between the “simple pole” case and the “equal modulus” pole case of the floating-point algorithm is eliminated. c © 1997 Academic Press Limited

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Exploiting Binary Floating-Point Representations for Constraint Filtering

Floating-point computations are quickly finding their way in the design of safetyand mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some indu...

متن کامل

Exploiting Binary Floating-Point Representations for Constraint Propagation

Floating-point computations are quickly finding their way in the design of safetyand mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some indu...

متن کامل

Towards a Symbolic-Numeric Method to Compute Puiseux Series: The Modular Part

We have designed a new symbolic-numeric strategy to compute efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field. In essence, computations modulo a well chosen prime p are used to obtain the exact information required to guide floating point computations. In this paper, we detail the symbolic part of our algorithm : First of a...

متن کامل

Symbolic execution of floating-point computations

Symbolic execution is a classical program testing technique which evaluates a selected control flow path with symbolic input data. A constraint solver can be used to enforce the satisfiability of the extracted path conditions as well as to derive test data. Whenever path conditions contain floating-point computations, a common strategy consists of using a constraint solver over the rationals or...

متن کامل

Automatic Verification of Finite Precision Implementations of Linear Controllers

We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Comput.

دوره 24  شماره 

صفحات  -

تاریخ انتشار 1997